uncle mark 2014 gift guide CONTENTS Introduction...................................... 2 My Main Project in 2013...................3

Source URL: www.unclemark.org

Election verifiability in electronic voting protocols? ?? Steve Kremer1 , Mark Ryan2 , and Ben Smyth2,3 1 2

Source URL: www.lsv.ens-cachan.fr

Improved multi-party contract signing Aybek Mukhamedov and Mark Ryan March 2, 2007 Digital Contract Signing

Source URL: www.cs.bham.ac.uk

A SUMMARY OF THE 2012 JHU CLSP WORKSHOP ON ZERO RESOURCE SPEECH TECHNOLOGIES AND MODELS OF EARLY LANGUAGE ACQUISITION Aren Jansen,1 Emmanuel Dupoux,2 Sharon Goldwater, 3 Mark Johnson,4 Sanjeev Khudanpur,1 Kenneth Church,

Source URL: www.lscp.net

• Computational linguistics
• Speech recognition
• Machine learning
• Natural language processing
• Computational neuroscience
• Acoustic model
• Pattern recognition
• Image segmentation
• Artificial neural network
• Speech perception
• Language model
• N-gram

Dynamic measurement and protected execution: model and analysis Shiwei Xu1 , Ian Batten2 , and Mark Ryan2 1 2

Source URL: www.cs.bham.ac.uk

The Fifteenth Sunday After Pentecost Prov. 22:1-2, 8-9, 22-23; James 2:1-10, 14-17; Mark 7:24-37 Humble Access* The Rev’d Dr. Patrick S. Cheng Church of the Transfiguration

Source URL: www.patrickcheng.net

The BIZ Top-Level Domain: Ten Years Later Tristan Halvorson1 , Janos Szurdi2 , Gregor Maier3 , Mark Felegyhazi2 , Christian Kreibich3 , Nicholas Weaver3 , Kirill Levchenko1 , and Vern Paxson3 1 2

Source URL: janos.szurdi.com

Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2

Source URL: www.cs.bham.ac.uk

Faktablad BULLERSKYDD System MARK-2 Komplett system för montage i bultgrupp i mark eller på mur, längs väg eller järnväg, CE-märkning klarTack vara skivornas nanobehandling minimeras underhållskostnader g

Source URL: www.hammerglass.se

Adaptive libraries and interactive code generation for Common Lisp Geoff Wozniak1 Mark Daley1,2 Stephen Watt1 1

Source URL: www.european-lisp-workshop.org